Model checking

Results: 996



#Item
101Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

Add to Reading List

Source URL: multicore.doc.ic.ac.uk

- Date: 2015-06-04 05:51:35
    102Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

    Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2016-10-03 06:41:06
      103QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

      QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

      Add to Reading List

      Source URL: qmc.cs.aau.dk

      - Date: 2011-10-28 09:59:01
        104Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

        Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

        Add to Reading List

        Source URL: mys5.org

        - Date: 2016-07-21 00:38:00
          105On-the-fly Confluence Detection for Statistical Model Checking∗ Arnd Hartmanns Mark Timmer

          On-the-fly Confluence Detection for Statistical Model Checking∗ Arnd Hartmanns Mark Timmer

          Add to Reading List

          Source URL: qapl2013.units.it

          - Date: 2013-03-26 07:49:25
            106MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS)

            MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS)

            Add to Reading List

            Source URL: www.ntu.edu.sg

            - Date: 2012-10-11 21:07:52
              107Model Checking Contest Report for 2011 Fabrice Kordon - LIP6/MoVe, UPMC, France Alban Linard - CUI/SMV, Univ. Genève, Switzerland Model Checking Contest @

              Model Checking Contest Report for 2011 Fabrice Kordon - LIP6/MoVe, UPMC, France Alban Linard - CUI/SMV, Univ. Genève, Switzerland Model Checking Contest @

              Add to Reading List

              Source URL: sumo.lip6.fr

              - Date: 2011-06-21 11:27:12
                108QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

                QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

                Add to Reading List

                Source URL: qmc.cs.aau.dk

                - Date: 2011-10-28 09:59:03
                  109Continuous-Time Markov Chains Overview Probabilistic Model Checking Part 2: Continuous-Time Markov Chains

                  Continuous-Time Markov Chains Overview Probabilistic Model Checking Part 2: Continuous-Time Markov Chains

                  Add to Reading List

                  Source URL: dl.dropboxusercontent.com

                    110Incremental Construction of Inductive Clauses for Indubitable Correctness or simply: IC3 A Simplified Description Based on “SAT-Based Model Checking without Unrolling”

                    Incremental Construction of Inductive Clauses for Indubitable Correctness or simply: IC3 A Simplified Description Based on “SAT-Based Model Checking without Unrolling”

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2015-06-10 04:37:11